(declare-const i1 Int)
(declare-const i2 Int)
(declare-const Str1 String)
(declare-const Str2 String)
(assert (= i1 (str.indexof "######" "#" i2)))
(assert (> i1 0))
(check-sat)
